package strain.solver;

import java.util.Collection;

import strain.expression.Expression;

public interface BranchChooser {
    
    Expression<?,?> chooseBranchExpression(Collection<Expression<?,?>> expressions);
    
}
